A Theory of Duration Calculus with Application
نویسندگان
چکیده
In this chapter we will present selected central elements in the theory of Duration Calculus and we will give examples of applications. The chapter will cover syntax, semantics and proof system for the basic logic. Furthermore, results on decidability, undecidability and model-checking will be presented. A few extensions of the basic calculus will be described, in particular, Hybrid Duration Calculus and Duration Calculus with iterations. Furthermore, a case study: the bi-phase mark protocol, is presented. We will not attempt to be exhaustive in our coverage of topics; but we will provide references for further study.
منابع مشابه
Free Vibration of Simply Supported Rectangular Composite Plates with Patch Mass
The effect of a distributed patch mass on the natural frequency of vibration of a laminated rectangular plate with simply supported boundaries is investigated. The third order displacement field of a composite laminated rectangular plate is defined using the two variable refined plate theory. Equations of motion of the plate are obtained with the help of calculus of variation. Parametric study ...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملTowards a new model of speculative bubbles: nonparametric test with an application to the Tunisian Stock Index
Bubbles in asset prices have fascinated researchers in finance. Identify asset bubbles, by circumstances, on the stock market has been a growing number of research theoretical and empirical. On a theoretical level, it was assumed that the price dynamics reflect irrational behavior of economic agents and, therefore, should be excluded from a deal with the truly rational economic agents Burmeiste...
متن کاملApplication of Mathematics in Financial Management
The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...
متن کاملFractional order Adaptive Terminal Sliding Mode Controller Design for MPPT in a Solar Cell under Normal and Partial Shading Condition
In this paper, by combining fractional calculus and sliding mode control theory, a new fractional order adaptive terminal sliding mode controller is proposed for the maximum power point tracking in a solar cell. To find the maximum power point, the incremental conductance method has been used. First, a fractional order terminal sliding mode controller is designed in which the control law depend...
متن کامل